Rippling out
نویسندگان
چکیده
منابع مشابه
Rippling out
extremely optimistic about the future. There are two general categories for my enthusiasm: the tangible benefits that will be brought by financially invigorated research programs, and perhaps the more important intangible benefits to morale, image and outlook that will be brought by replacing political ideologues with responsible scientists. Even if I myself never see a single dollar in increas...
متن کاملDynamic Rippling, Middle-Out Reasoning and Lemma Discovery
We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence facilitates extending the technique in ways that preserve termination. We illustrate this by extending rippling with a terminating version of middle-out reasoning for lemma speculation. This supports automatic speculation of s...
متن کاملExtensions to the Rippling-Out Tactic for Guiding Inductive Proofs
Citation for published version: Bundy, A, van Harmelen, F, Smaill, A & Ireland, A 1990, Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. in 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. vol. Lecture Notes in Artificial Intelligence No. 449, Lecture Notes in Computer Science, vol. 449, Springer-Verlag GmbH, pp. 132-146...
متن کاملBest-First Rippling
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure that is decreases with each rewrite step. Because of this restriction, rippling will fail to prove theorems about, for example, mutual recursion as steps that temporarily increase the differences are necessary. Best-firs...
متن کاملRippling of polymer nanofibers.
This paper studies the evolution mechanism of surface rippling in polymer nanofibers under axial stretching. This rippling phenomenon has been detected in as-electrospun polyacrylonitrile in recent single-fiber tension tests, and in electrospun polyimide nanofibers after imidization. We herein propose a one-dimensional nonlinear elastic model that takes into account the combined effect of surfa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Current Biology
سال: 2008
ISSN: 0960-9822
DOI: 10.1016/j.cub.2008.11.012